impl A with f(self : Self) -> Int {
  ignore(self)
  0
}